4321. VE2d for Lua Game ProgrammingL
Author: / Mishra, Brij Bhushan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

4322. VMware private cloud computing with vCloud Director /
Author: Simon Gallagher with Aidan Dalgleish
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing.,Virtual computer systems.
Classification :
QA76
.
9
.
V5


4323. Variations on constants
Author: / Markus M?�ller-Olm
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness
Classification :
QA
,
76
.
642
,.
M85
,
2006


4324. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013


4325. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5


4326. Verification of digital and hybrid systems
Author: edited by M. Kemal Inan, Robert P. Kurshan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
Classification :
QA76
.
76
.
V47
E358
2000


4327. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47


4328. Verified software
Author: \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامهنویسی ,مهندسی نرم افزار
Classification :
QA
76
.
V4
2016
E-Book
,


4329. Verified software
Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010


4330. Verified software: theories, tools, experiments
Author: Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
V73
2012eb


4331. Video game optimization /
Author: Ben Garney and Eric Preisz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games-- Design.,Computer games-- Programming.,Video games-- Design.,Computer games-- Design.,Computer games-- Programming.,Video games-- Design.
Classification :
QA76
.
76
.
C672
G3686
2011


4332. Virtual Environments and Scientific Visualization '96 :
Author: edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
T385
.
E358
1996


4333. Visual Basic Game Programming for Teens (3rd Edition)
Author: / Harbour, Jonathan S.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

4334. Visual Basic . NET! :
Author: Matt Tagliaferri.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft .NET Framework.,Microsoft .NET Framework.,Application software-- Development.,Visual Basic (Computer program language),Application software-- Development.,COMPUTERS / Programming / Microsoft.,Visual Basic (Computer program language)
Classification :
QA76
.
73
.
B3
T34
2001


4335. Visual Basic .NET Class Design Handbook: Coding Effective Classes
Author: by Damon Allison, Andy Olsen, James Speer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.

4336. Visual Basic 2005 by practice /
Author: Mike Mostafavi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Visual Basic.,Microsoft Visual BASIC.,BASIC (Computer program language),Visual Basic (Computer program language),BASIC (Langage de programmation),BASIC (Computer program language),REFERENCE-- General.,Visual Basic (Computer program language)
Classification :
QA76
.
73
.
B3
M6724
2006eb


4337. Visual Basic for Testers
Author: by Mary Romero Sweeney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.

4338. Visual Studio LightSwitch 2015 /
Author: Tim Leung
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development-- Computer programs,Visual programming (Computer science)-- Computer programs
Classification :
QA76
.
65


4339. Visual Studio LightSwitch 2012 /
Author: Tim Leung
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development-- Computer programs.,Visual programming (Computer science)-- Computer programs.
Classification :
QA76
.
65


4340. Visual Studio LightSwitch 2015 /
Author: Tim Leung
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development-- Computer programs.,Visual programming (Computer science)-- Computer programs.
Classification :
QA76
.
65

